Modifying Code And Non-Code Contracts